
class D extends C: // error
  this: {*} D =>
